1. Countable Boolean algebras and decidability /
پدیدآورنده : Sergei S. Goncharov
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra, Boolean,Decidability (Mathematical logic)
رده :
QA10
.
3
.
G6613
1997
2. Enumerability · Decidability Computability
پدیدآورنده : by Hans Hermes.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Mathematics.
3. Handbook of Logic and Proof Techniques for Computer Science
پدیدآورنده : by Steven G. Krantz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Mathematics.
رده :
QA76
.
B978
2002